What is the integral of cos^5x